morphism of schemes造句
例句與造句
- Let f : X \ to Y be a morphism of schemes.
- This definition is closely related to the notion of a formally smooth morphism of schemes.
- Let be a morphism of schemes.
- There is a more general notion of a smooth morphism of schemes, which is roughly a morphism with smooth fibers.
- A scheme, by definition, has an open affine chart and thus a morphism of schemes can also be described in terms of such charts ( compare the definition of morphism of varieties ).
- It's difficult to find morphism of schemes in a sentence. 用morphism of schemes造句挺難的
- However, these facts are counterintuitive : we do not normally expect open sets, other than scheme ( actually, of a morphism of schemes ), which recovers the intuitive idea of compactness : Proj is proper, but Spec is not.
- In particular, it is possible to turn " E " into a scheme and ? into a morphism of schemes in such a way that ? retains the same universal property, but ? is " not " in general an 閠ale morphism because it is not quasi-finite.
- Another generalization states that a faithfully flat morphism of schemes f : Y \ to X locally of finite type with " X " quasi-compact has a " quasi-section ", i . e . there exists X'affine and faithfully flat and quasi-finite over " X " together with an " X "-morphism X'\ to Y
- Then ? : " U " ?! " V " is a morphism of affine schemes and thus is induced by some ring homomorphism " B " ?! " A " ( cf . # Affine case . ) In fact, one can use this description to " define " a morphism of schemes; one says that ? : " X " ?! " Y " is a morphism of schemes if it is locally induced by ring homomorphisms between coordinate rings of affine charts.
- Then ? : " U " ?! " V " is a morphism of affine schemes and thus is induced by some ring homomorphism " B " ?! " A " ( cf . # Affine case . ) In fact, one can use this description to " define " a morphism of schemes; one says that ? : " X " ?! " Y " is a morphism of schemes if it is locally induced by ring homomorphisms between coordinate rings of affine charts.